This paper presents five studies on the development and validation of a scale of intellectual humility. This scale captures cognitive, affective, behavioral, and motivational components of the construct that have been identified by various philosophers in their conceptual analyses of intellectual humility. We find that intellectual humility has four core dimensions: Open-mindedness (versus Arrogance), Intellectual Modesty (versus Vanity), Corrigibility (versus Fragility), and Engagement (versus Boredom). These dimensions display adequate self-informant agreement, and adequate convergent, divergent, and discriminant validity. In particular, Open-mindedness (...) adds predictive power beyond the Big Six for an objective behavioral measure of intellectual humility, and Intellectual Modesty is uniquely related to Narcissism. We find that a similar factor structure emerges in Germanophone participants, giving initial evidence for the model’s cross-cultural generalizability. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is stochastically (...) independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

Transactive memory theory describes the processes by which benefits for memory can occur when remembering is shared in dyads or groups. In contrast, cognitive psychology experiments demonstrate that social influences on memory disrupt and inhibit individual recall. However, most research in cognitive psychology has focused on groups of strangers recalling relatively meaningless stimuli. In the current study, we examined social influences on memory in groups with a shared history, who were recalling a range of stimuli, from word lists to personal, (...) shared memories. We focused in detail on the products and processes of remembering during in-depth interviews with 12 older married couples. These interviews consisted of three recall tasks: (1) word list recall; (2) personal list recall, where stimuli were relevant to the couples’ shared past; and (3) an open-ended autobiographical interview. We conducted these tasks individually and then collaboratively two weeks later. Across each of the tasks, although some couples demonstrated collaborative inhibition, others demonstrated collaborative facilitation. We identified a number of factors that predicted collaborative success, in particular, group-level strategy use. Our results show that collaboration may help or hinder memory, and certain interactions are more likely to produce collaborative benefits. (shrink)

Recent findings in experimental philosophy have revealed that people attribute intentionality, belief, desire, knowledge, and blame asymmetrically to side- effects depending on whether the agent who produces the side-effect violates or adheres to a norm. Although the original (and still common) test for this effect involved a chairman helping or harming the environment, hardly any of these findings have been applied to business ethics. We review what little exploration of the implications for business ethics has been done. Then, we present (...) new experimental results that expand the attribution asymmetry to virtue and vice. We also examine whether it matters to people that an effect was produced as a primary or side- effect, as well as how consumer habits might be affected by this phenomenon. These results lead to the conclusion that it appears to be in a businessperson’s self-interest to be virtuous. (shrink)

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? We consider this problem for beliefs in three different domains: religion, morality, and commonsense and scientific claims about matters of empirical fact. We identify replies to evolutionary scepticism that work in some domains but not in others. One reply is that evolution can be (...) expected to design systems that produce true beliefs in some domain. This reply works for commonsense beliefs and can be extended to scientific beliefs. But it does not work for moral or religious beliefs. An alternative reply which has been used defend moral beliefs is that their truth does not consist in their tracking some external state of affairs. Whether or not it is successful in the case of moral beliefs, this reply is less plausible for religious beliefs. So religious beliefs emerge as particularly vulnerable to evolutionary debunking. (shrink)

This article brings a new perspective to the ethical debate on geoengineering through stratospheric aerosol injection (SAI), incorporating the emerging techno-moral change scholarship into the discussion surrounding sustainability. The techno-moral change approach can help us understand different ways in which technology might shape society. First, it helps highlight how values and norms are interrelated. Second, it shows that techno-moral change can happen even if the technology is in no way realized. Through the introduction of two techno-moral vignettes, two diametrically opposed (...) ways in which SAI forces us to rethink sustainability and our relationship with nature are suggested. SAI could lead to a situation of entrenchment, wherein sustainability as a norm is undermined, or transformation where the necessity of acting according to sustainability is highlighted. (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

It is still a live question in epistemology and philosophy of science as to what exactly evidence is. In my view, evidence consists in experiences called “seemings.” This view is a version of the phenomenal conception of evidence, the position that evidence consists in nonfactive mental states with propositional content. This conception is opposed by sense-data theorists, disjunctivists, and those who think evidence consists in physical objects or publicly observable states of affairs—call it the courtroom conception of evidence. Thomas Kelly (...) has recently argued that the phenomenal conception cannot play all the roles evidence plays and is thus inadequate. Having first explained the nature of seemings, in this essay I utilize Kelly’s own understanding of the four major roles of evidence and argue that the phenomenal conception can play each one. Experience is a good candidate for evidence. (shrink)

The ideas behind open source software are currently applied to the production of encyclopedias. A sample of six English text-based, neutral-point-of-view, online encyclopedias of the kind are identified: h2g2, Wikipedia, Scholarpedia, Encyclopedia of Earth, Citizendium and Knol. How do these projects deal with the problem of trusting their participants to behave as competent and loyal encyclopedists? Editorial policies for soliciting and processing content are shown to range from high discretion to low discretion; that is, from granting unlimited trust to limited (...) trust. Their conceptions of the proper role for experts are also explored and it is argued that to a great extent they determine editorial policies. Subsequently, internal discussions about quality guarantee at Wikipedia are rendered. All indications are that review and ?super-review? of new edits will become policy, to be performed by Wikipedians with a better reputation. Finally, while for encyclopedias the issue of organizational trust largely coincides with epistemological trust, a link is made with theories about the acceptance of testimony. It is argued that both non-reductionist views (the ?acceptance principle? and the ?assurance view?) and reductionist ones (an appeal to background conditions, and a?newly defined??expertise view?) have been implemented in editorial strategies over the past decade. (shrink)

I begin with a distinction between narrow and broad defenses to the logical problem of evil. The former is simply an attempt to show that God and evil are not logically incompat-ible whereas the latter attempts the same, but only by appealing to beliefs one takes to be true in the actual world. I then argue that while recent accounts of original sin may be consistent with a broad defense, they are also logically incoherent. After considering potential replies, I conclude (...) by proposing an account of original sin that is both logically coherent and consistent with a broad defense. (shrink)

The existence of God is once again the focus of vivid philosophical discussion. From the point of view of analytic theology, however, people often talk past each other when they debate about the putative existence or nonexistence of God. In the worst case, for instance, atheists deny the existence of a God, which no theists ever claimed to exist. In order to avoid confusions like this we need to be clear about the function of the term 'God' in its different (...) contexts of use. In what follows, I distinguish between the functions of 'God' in philosophical contexts on the one hand and in theological contexts on the other in order to provide a schema, which helps to avoid confusion in the debate on the existence or non-existence of God. (shrink)

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but (...) related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

This paper considers a problem that arises for free will defenses when considering the nature of God's own will. If God is perfectly good and performs praiseworthy actions, but is unable to do evil, then why must humans have the ability to do evil in order to perform such actions? This problem has been addressed by Theodore Guleserian, but at the expense of denying God's essential goodness. I examine and critique his argument and provide a solution to the initial problem (...) that does not require abandoning God's essential goodness. (shrink)

The phenomena of call-outs and call-ins are fiercely debated. Are they mere instances of virtue signaling? Or can they actually perform social justice work? This paper gains purchase on these questions by focusing on how language users negotiate norms in speech. The authors contend that norm-enacting speech not only makes a norm salient in a context but also creates conversational conditions that motivate adherence to that norm. Recognizing this allows us to define call-outs and call-ins: the act of calling-out brings (...) with it the presupposition that its target's behavior is norm-violating, whereas the act of calling-in simply presupposes its target's willingness to revise their belief. With these definitions at hand, we evaluate whether call-outs and call-ins are suitable tools for combating social injustice. (shrink)

In this chapter, we argue for a phenomenal conservative perspective on religious epistemology and attempt to answer some common criticisms of this perspective.

Norman Daniels’s theory of health justice is the most comprehensive and systematic such theory we have. In one of the few articles published so far on Daniels’s new book, Just Health, Benjamin Sachs argues that Daniels’s core “principle of equality of opportunity does not do the work Daniels needs it to do.” Yet Sachs’s objections to Daniels’s framework are deeply flawed. Where these arguments do not rely on significant misreadings of Daniels, they ignore sensible strands in Just Health that considerably (...) dull their force. After disarming Sachs’s arguments against Daniels’s theory, I explain why I agree with Sachs’s conclusion: Daniels’s equality of opportunity-based account of health justice rests on shaky foundations. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

A discussion of several tensions between Thomistic philosophy and modern Darwinian theory as well as several recent Thomistic criticisms of intelligent design.

Many virtual communities that rely on user-generated content (such as social news sites, citizen journals, and encyclopedias in particular) offer unrestricted and immediate ‘write access’ to every contributor. It is argued that these communities do not just assume that the trust granted by that policy is well-placed; they have developed extensive mechanisms that underpin the trust involved (‘backgrounding’). These target contributors (stipulating legal terms of use and developing etiquette, both underscored by sanctions) as well as the contents contributed by them (...) (patrolling for illegal and/or vandalist content, variously performed by humans and bots; voting schemes). Backgrounding trust is argued to be important since it facilitates the avoidance of bureaucratic measures that may easily cause unrest among community members and chase them away. (shrink)

There is a close systematic relationship between panentheism, as a metaphysical theory about the relation between God and the world, and transhumanism, the ethical demand to use the means of the applied sciences to enhance both human nature and the environment. This relationship between panentheism and transhumanism provides a ‘cosmic’ solution to the problem of evil: on panentheistic premises, the history of the world is the one infinite life of God, and we are part of the one infinite divine being. (...) We ourselves are therefore responsible for the future development of the life of the divine being. We should therefore use the means provided by the natural sciences to develop the history of the world in such a way that the existence of evil shall be overcome and shall no longer be part of the divine being in whom we move and live and have our being. The metaphysics of panentheism leads to the ethics of transhumanism. (shrink)

Hacker communities of the 1970s and 1980s developed a quite characteristic work ethos. Its norms are explored and shown to be quite similar to those which Robert Merton suggested govern academic life: communism, universalism, disinterestedness, and organized scepticism. In the 1990s the Internet multiplied the scale of these communities, allowing them to create successful software programs like Linux and Apache. After renaming themselves the `open source software' movement, with an emphasis on software quality, they succeeded in gaining corporate interest. As (...) one of the main results, their `open' practices have entered industrial software production. The resulting clash of cultures, between the more academic CUDOS norms and their corporate counterparts, is discussed and assessed. In all, the article shows that software practices are a fascinating seedbed for the genesis of work ethics of various kinds, depending on their societal context. (shrink)

Recent authors, emphasizing Newman’s distaste for natural theology—especially William Paley’s design argument—have urged us to follow Newman’s lead and reject design arguments. But I argue that Newman’s own argument for God’s existence (his argument from conscience) fails without a supplementary design argument or similar reason to think our faculties are truth-oriented. In other words, Newman appears to need the kind of argument he explicitly rejects. Finding Newman’s rejection of natural theology to stem primarily from factors other than worries about cogency, (...) however, I further argue that there is little reason not to pursue design arguments in order to save the argument from conscience. (shrink)

Two property regimes for software development may be distinguished. Within corporations, on the one hand, a Private Regime obtains which excludes all outsiders from access to a firm's software assets. It is shown how the protective instruments of secrecy and both copyright and patent have been strengthened considerably during the last two decades. On the other, a Public Regime among hackers may be distinguished, initiated by individuals, organizations or firms, in which source code is freely exchanged. It is argued that (...) copyright is put to novel use here: claiming their rights, authors write `open source licenses' that allow public usage of the code, while at the same time regulating the inclusion of users. A `regulated commons' is created. The analysis focuses successively on the most important open source licenses to emerge, the problem of possible incompatibility between them (especially as far as the dominant General Public License is concerned), and the fragmentation into several user communities that may result. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

This essay shows how John Henry Newman reconciled the certitude of faith with a fallibilist epistemology. While Newman holds that many of our beliefs are held with certitude, he does not conceive of all certitude as Cartesian, apodictic certitude. In this way, he walks a middle road between rationalism and fideism.

The role of certitude in our mental lives is, to put it mildly, controversial. Many current epistemologists (including epistemologists of religion) eschew certitude altogether. Given his emphasis on certitude, some have maintained that John Henry Newman was an infallibilist about knowledge. In this paper, we argue that a careful examination of his thought (especially as seen in the Grammar of Assent) reveals that he was an epistemic fallibilist. We first clarify what we mean by fallibilism and infallibilism. Second, we explain (...) why some have read Newman as an infallibilist. Third, we offer two arguments that Newman is at least a fallibilist in a weak sense. In particular, the paradox he seeks to resolve in the Grammar and his dispute with John Locke both indicate that he is at least a weak fallibilist. We close with a consideration of whether Newman is a fallibilist in a much stronger sense as well. (shrink)

Karl Christian Friedrich Krause left an impressive oeuvre consisting of 256 books and articles, covering numerous branches of philosophy, the humanities, and science.[1] His Urbild der Menschheit, his Vorlesungen über das System der Philosophie and his Vorlesungen über die Grundwahrheiten der Wissenschaft are of particular pertinence for philosophers today. [1] See: E. M. Ureña and E. Fuchs, “Einführung in das Gesamtwerk”, in Karl Christian Friedrich Krause. Band 1: Entwurf des Systems der Philosophie, ed. T. Bach and O. Breidbach.

From the mid-1960s until the late 1980s, the well-known general philosophies of science of the time were applied to economics. The result was disappointing: none seemed to fit. This paper argues that this is due to a special feature of economics: it possesses ‘orientational paradigms’ in high number. Orientational paradigms are similar to Kuhn’s paradigms in that they are shared across scientific communities, but dissimilar to Kuhn’s paradigms in that they are not generally accepted as valid guidelines for further research. (...) As will be shown by several examples, orientational paradigms provide economics with common points of reference that support its epistemic coherence and make scientific discourse more easily possible across school boundaries. With the help of systematicity theory, a newer general philosophy of science, one can further elucidate the role of orientational paradigms with regard to scientific progress. (shrink)

Aquinas’s actual response to a naturalistic challenge at ST I.2.3 is one which most naturalists would find unimpressive. However, I shall argue that there is a stronger response latent in his philosophical system. I take Quine as an example of a methodological naturalist, examine the roots of his position and look at two critical responses to his views (those of BonJour and Boghossian). If one adjusts some of the problematical aspects of their responses and establishes a hybrid position on the (...) epistemology and metaphysics of an antinaturalistic stance, it turns out to be the position Aquinas himself takes on meaning and knowledge. (shrink)

Special divine action is an integral part of the Christian worldview. In fact, the plausibility of the Christian worldview depends on and is grounded in the putative reality, and therefore possibility, of special divine action. Without special divine action, Scripture does not make sense, and without Scripture, Christianity neither. However, the possibility of special divine action is highly contested in almost every field of human enquiry. In what follows, I briefly suggest a minimal definition of special divine action and show (...) its indispensability for the internal plausibility of Christian faith. I then argue against the very possibility of special divine action. I end by way of identifying ways in which Christian theologians can respond to the arguments in order to justify the possibility of special divine action. It turns out that special divine action neither contradicts science nor metaphysics. (shrink)

Darcy's law is a phenomenological relationship for fluid flow rate that finds one of its principle applications in hydrology. Theoretical hydrologists rely upon a multiplicity of conceptual models to carry out approximate derivations of Darcy's law. These derivations provide structural explanations of the law; they require the application of fundamental principles, such as conservation of momentum, to idealized models of the porous media within which the flow occurs. In practice, recognition of the idealized conditions incorporated into models facilitates the empirical (...) clarification of the domain within which the law remains accurate. Structural explanations also contribute to the physical interpretation of phenomenological parameters. (shrink)

In this essay, I describe my journey to Catholicism and explain one of the many reasons I became Catholic--namely, an argument from the canon of Scripture.

Contextualism (the view that ‘knowledge’ and its variants are context-sensitive) has been supported in large part through appeal to intuitions about Keith DeRose’s Bank Cases. Recently, however, the contextualist construal of these cases has come under fire from Kent Bach and Jennifer Nagel who question whether the Bank Case subject’s confidence can remain constant in both low- and high-stakes cases. Having explained the Bank Cases and this challenge to them, I argue that DeRose has given a reasonable reply to this (...) initial challenge. However, I proceed to argue that the current stalemate can be broken. Seeking to extend the Bach-Nagel critique, I offer a novel interpretation of the Bank Cases according to which the subject’s evidence changes between low- and high-stakes cases. If I am correct, then, given the amount of support the Bank Cases have been thought to lend contextualism, the case for contextualism is seriously weakened. (shrink)

In this article, we examine in detail the New Atheists' most serious argument for the conclusion that God does not exist, namely, Richard Dawkins's Ultimate 747 Gambit. Dawkins relies upon a strong explanatory principle involving simplicity. We systematically inspect the various kinds of simplicity that Dawkins may invoke. Finding his crucial premises false on any common conception of simplicity, we conclude that Dawkins has not given good reason to think God does not exist.

A brief introduction to the life and key work of Rudolf Carnap with special attention to his work on inductive logic.

Cognitive organisms have three rather different techniques for intelligently regulating their intake of environmental information. In order of the time needed to uncover information they are: 1. control of attention: within an image produced by a given sensor certain elements can be selected for additional processing; 2. control of gaze: the orientation and resolution (center of foveation) of the sensor can be regulated to create a new image; 3. control of activity: certain non-perceptual actions can be performed to increase the (...) probability of unearthing salient information that currently is unavailable, hard to detect, or hard to compute. (shrink)

In this paper we briefly examine and evaluate Quine’s physicalism. On the supposition, in accordance with Quine’s views, that there can be no change of any sort without a physical change, we argue that this point leaves plenty of room to understand and accept a limited autonomy of the special sciences and of other domains of disciplinary and common-sense inquiry and discourse. The argument depends on distinguishing specific, detailed programs of reduction from the general Quinean strategy of reduction by explication. (...) We argue that the details of the relations of particular sciences, disciplines and domains of discourse depend on empirical evidence and empirical-theoretical developments and that the generalized approach of reduction by explication is also subject to related empirical-theoretical constraints. So understood, physicalism lacks much of the controversial force and many of the implications sometimes associated with it. (shrink)

The latest news from our planet is threatening: climate change, pollution, forest loss, species extinctions. All these words are frightening and there is no sign of improvement. Simple logic leads to the conclusion that humanity has to react, for its own survival. But at the scale of a human being, it is less obvious. Organizing one’s daily life in order to preserve the environment implies self-questioning, changing habits, sacrificing some comfort. In one word, it is an effort. Then, what justifies (...) such an effort? The personal choice to act in order to preserve our environment is often made by simple altruism. This choice is based on our love for other human beings: our love for the others grounds our effort. Our moral values, our ethical reflections and our religious beliefs are the deep core of these choices. “This is my commandment, that you love one another as I have loved you.” (John 15.12 NRSV). This Charter shows the moral and religious values that can help us react regarding the current environmental crisis and it should empower us to transcend the ideas of effort and sacrifice in order to consider the respect of the shared house, in a prophetic fulfillment of the being. (shrink)

Physics tells us that the world that we live in is “really” composed of vast numbers of tiny particles, defined and individuated by their mass, charge, velocity and position. That is all there is, the rest being empty space. In contrast the world that we interact with in our every day lives is composed of rooms with windows, people and cats, and plates filled with milk and cornflakes. It is a world of individual objects and stuffs, most of which can (...) be effortlessly identified and labelled as being of a particular kind. Like an illustration in a child’s reader, we could look around our environment and attach labels to all of the objects and kinds of things around us. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

A review of Edward Feser's Five Proofs of the Existence of God.